121. Computational Logic in Multi-Agent Systems
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
122. Computational Semantics with Functional Programming
المؤلف: / Jan Van Eijck and Christina Unger
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)
رده :
QA76
,.
7
.
E43
2010
123. Computational artifacts :
المؤلف: Raymond Turner.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
167
124. Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois
المؤلف: sponsored by The IEEE Computer Society, Technical Committee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT, EATCS
المکتبة: (طهران)
موضوع: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials,Congresses ، Logic programming
رده :
QA
267
.
7
.
I36
2001
125. Computational intelligence for modelling, control & automation : intelligent image processing, data analysis & information retrieval
المؤلف: edited by Masoud Mohammadian
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Evolutionary programming )Computer science(,، Fuzzy logic,، Automatic control,، Computational intelligence
رده :
QA
7609
.
C6
1999
126. Computational linguistics and intelligent text processing
المؤلف: / Alexander Gelbukh (ed.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Text processing (Computer science), Congresses,Computational linguistics, Congresses,Discourse analysis, Data processing, Congresses,Information storage and retrieval systems, Congresses
رده :
QA76
.
9
.
T48C49
2010
127. Computational logic and set theory :
المؤلف: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
128. Computational logic in multi-agent systems :
المؤلف: João Leite [and others] (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses,Multiagent systems, Congresses
رده :
QA76
.
9
.
L63
C55
2011
129. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
المؤلف: Antonis C. Kakas, Fariba Sadri )eds.(
المکتبة: (طهران)
موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408
130. Computational matter /
المؤلف: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
131. Computational pathology and ophthalmic medical image analysis :
المؤلف: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
رده :
RB38
132. Computational semantics with functional programming /
المؤلف: Jan van Eijck and Christina Unger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Functional programming (Computer science),Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Computerlinguistik,COMPUTERS-- Programming-- General.,Functional programming (Computer science),Funktionale Programmierung,HASKELL,Haskell (Computer program language),Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
E43
2010eb
133. Computer Aided Systems Theory - EUROCAST '95 :
المؤلف: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computers, Special purpose.,Microprocessors.
رده :
TA345
.
E358
1996
135. [Computer aided systems theory] [revised selected papers]
المؤلف: [EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003. Ed.: Roberto Moreno-Díaz ...].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer-aided design -- Congresses.,Computer-aided engineering -- Congresses.
136. Computer performance engineering :
المؤلف: Nigel Thomas (edition)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2011
137. Computer science logic :
المؤلف: Hans Kleine Büning (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
138. Computer supported education :
المؤلف: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
139. Computing in Horn Clause Theories
المؤلف: by Peter Padawitz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
B974
1988
140. Computing in Horn Clause theories
المؤلف: Padawitz, Peter, 3591-
المکتبة: (طهران)
موضوع: ، Logic programming,، Horn clauses
رده :
QA
76
.
6
.
P327
1988
